Kenneth L. McMillan: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (9)
Most Popular
List
- List
- Table

1

Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Springer-Verlag Berlin Heidelberg

Roderick Bloem, Robert Könighofer (auth.), Kenneth L. McMillan, Xavier Rival (eds.)

Year:

2014

Language:

english

File:

PDF, 8.22 MB

0 / 0

english, 2014

2

Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings

Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Kenneth L. McMillan (auth.), Eran Yahav (eds.)

Year:

2011

Language:

english

File:

PDF, 3.85 MB

0 / 0

english, 2011

3

Symbolic Model Checking

Symbolic Model Checking

Kenneth L. McMillan (auth.)

Year:

1993

Language:

english

File:

PDF, 6.48 MB

0 / 0

english, 1993

4

Verification of Digital and Hybrid Systems

Verification of Digital and Hybrid Systems

Springer-Verlag Berlin Heidelberg

Kenneth McMillan (auth.), M. Kemal Inan, Robert P. Kurshan (eds.)

Year:

2000

Language:

english

File:

PDF, 9.71 MB

0 / 0

english, 2000

5

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (eds.)

Year:

1998

Language:

english

File:

PDF, 4.13 MB

0 / 0

english, 1998

6

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (eds.)

Year:

1998

Language:

english

File:

PDF, 4.14 MB

0 / 0

english, 1998

7

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)

Year:

2012

Language:

english

File:

PDF, 4.24 MB

0 / 0

english, 2012

8

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)

Year:

2012

Language:

english

File:

PDF, 4.69 MB

0 / 0

english, 2012

9

Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings

Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Kenneth L. McMillan (auth.), Eran Yahav (eds.)

Year:

2011

Language:

english

File:

PDF, 4.47 MB

0 / 0

english, 2011